- proving statement
- заявление, имеющее доказательственное значение
Англо-русский юридический словарь. Академик.ру. 2011.
proving statement
Смотреть что такое "proving statement" в других словарях:
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
self-proving will — A will that is created in a way that allows a probate court to easily accept it as the true will of the person who has died. In some states, a will is self proving when two witnesses sign under penalty of perjury that they observed the willmaker… … Law dictionary
The Strawberry Statement (film) — Infobox Film name = The Strawberry Statement image size = 150px caption = director = Stuart Hagmann producer = Robert Chartoff Irwin Winkler writer = James S. Kunen (novel) Israel Horovitz narrator = starring = Bruce Davison Kim Darby Bud Cort… … Wikipedia
Normative statement — In economics, a normative statement expresses a value judgement about whether a situation is subjectively desirable or undesirable. The world would be a better place if the moon were made of green cheese is a normative statement because it… … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Defamation — This article is about the malicious statement. For the 2009 film, see Defamation (film). Libel and Slander redirect here. For other uses, see Libel (disambiguation) and Slander (disambiguation). Vilification and Calumny redirect here. For the… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… … Wikipedia
MythBusters (2009 season) — Country of origin Australia United States No. of episodes 23 (includes 3 specials) Broadcast Original channel … Wikipedia
